Issue1428a.agda:22,10-15
Not in scope:
  FIXME at Issue1428a.agda:22,10-15
when scope checking FIXME
